s:QOSet, a:|s|. a  a 

latex

Up	sets 1
Definitions	t  T, x:A. B(x), Trans(T;x,y.E(x;y)), Refl(T;x,y.E(x;y)), P & Q, Preorder(T;x,y.R(x;y))
Lemmas	qoset wf, qoset properties